/*
Different way to display TOC: all links on same level in a horizontal list, divided by " | "
*/
#toc {
    display: inline-block;
    margin-bottom: 1em;
    padding: .3em .5em;
    max-height: 4.7em;
    overflow: auto;
}
#toc:hover {
    max-height: initial;
}

#toc ul {
    padding: 0;
    list-style: none;
    text-align: left;
}
#toc-header {
    padding: 0;
}
#toc ul li {
    padding:0;
    float: left;
}
#toc ul li:not(:last-child) a::after {
	padding: 0 0.25em;
    content: "|";
}
/*
#toc ul li a {
padding: .25em;
display: block;
}
*/
.toc-nav {
display:none;
margin-left: 1em;
vertical-align: middle;
/* absolute size - always small, regardless of header font size */
font-size: 0.7rem;
line-height:0.5rem;
font-weight: normal;
}

h1:hover .toc-nav, h2:hover .toc-nav, h3:hover .toc-nav, h4:hover .toc-nav, h5:hover .toc-nav, h6:hover .toc-nav { display:initial; }
